A representation theorem for second-order functionals
نویسندگان
چکیده
منابع مشابه
A Representation Theorem for Second-Order Functionals
Representation theorems relate seemingly complex objects to concrete, more tractable ones. In this paper, we take advantage of the abstraction power of category theory and provide a datatypegeneric representation theorem. More precisely, we prove a representation theorem for a wide class of second-order functionals which are polymorphic over a class of functors. Types polymorphic over a class o...
متن کاملA Pure First Order Representation for Undamped Second Order Descriptor Systems
The aim of this paper is to analyze the undamped second order descriptor systems to show the possibility of transform an undamped second order descriptor system to a pure first order descriptor system ,on different ways, while stating some of its benefits. Meanwhile we will introduce pure first order systems and undamped second order systems and indicate that under some assumptions every undamp...
متن کاملOrder-type existence theorem for second order nonlocal problems at resonance
This paper gives an abstract order-type existence theorem for second order nonlocal boundary value problems at resonance and obtain existence criteria for at least two positive solutions, where $f$ is a continuous function. Our results generalize or extend related results in the literature and give a positive answer to the question raised in the literature. An example is given to illustr...
متن کاملa pure first order representation for undamped second order descriptor systems
the aim of this paper is to analyze the undamped second order descriptor systems to show the possibility of transform an undamped second order descriptor system to a pure first order descriptor system ,on different ways, while stating some of its benefits. meanwhile we will introduce pure first order systems and undamped second order systems and indicate that under some assumptions every undamp...
متن کاملA Second Order Minimality Condition for Water-Waves Functionals
The goal of this paper is to derive in the two-dimensional case necessary and sufficient minimality conditions in terms of the second variation for the functional v 7→ ∫ Ω ( |∇v| + χ{v>0}Q ) dx, introduced in a classical paper of Alt and Caffarelli. For a special choice of Q this includes water waves. The second variation is obtained by computing the second derivative of the functional along su...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Functional Programming
سال: 2015
ISSN: 0956-7968,1469-7653
DOI: 10.1017/s0956796815000088